Skip to content

Comments

Fix cabal install script#2007

Merged
pcapriotti merged 2 commits intodevelopfrom
pcapriotti/fix-install-script
Dec 22, 2021
Merged

Fix cabal install script#2007
pcapriotti merged 2 commits intodevelopfrom
pcapriotti/fix-install-script

Conversation

@pcapriotti
Copy link
Contributor

The script should create the dist directory, if it does not exist.

Checklist

  • The PR Title explains the impact of the change.
  • The PR description provides context as to why the change should occur and what the code contributes to that effect. This could also be a link to a JIRA ticket or a Github issue, if there is one.
  • changelog.d contains the following bits of information (details):
    • A file with the changelog entry in one or more suitable sub-sections. The sub-sections are marked by directories inside changelog.d.

The script should create the `dist` directory, if it does not exist.
@pcapriotti pcapriotti merged commit 1e6843a into develop Dec 22, 2021
@pcapriotti pcapriotti deleted the pcapriotti/fix-install-script branch December 22, 2021 07:30
@akshaymankar akshaymankar mentioned this pull request Jan 18, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants